-
1 аксиома цикла
Большой англо-русский и русско-английский словарь > аксиома цикла
-
2 аксиома цикла
Information technology: axiom of iteration -
3 аксиома цикла
Русско-английский словарь по вычислительной технике и программированию > аксиома цикла
-
4 аксиома цикла
вложенный цикл; цикл в цикле — nested iteration
-
5 тело цикла
вложенный цикл; цикл в цикле — nested iteration
Русско-английский словарь по информационным технологиям > тело цикла
-
6 axiom of iteration
Большой англо-русский и русско-английский словарь > axiom of iteration
-
7 axiom of iteration
English-Russian dictionary of computer science and programming > axiom of iteration
-
8 axiom of iteration
-
9 sequencing axiom
-
10 axiom
-
11 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
12 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
13 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
14 axiom of iteration
-
15 вложенный цикл
1. home loopразворачивание цикла; расписывание цикла — unwinding of loop
2. nested loopsзавершить цикл; выходить из цикла — terminate a loop
завершение цикла; выход из цикла — loop termination
3. nesting loops4. nested iteration -
16 nested iteration
вложенный цикл; цикл в цикле -
17 axiom of iteration
Вычислительная техника: аксиома цикла -
18 цикл в цикле
1. loop-within-loop2. nested iteration
См. также в других словарях:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Громыко, Ольга Николаевна — Ольга Громыко Имя при рождении: Ольга Николаевна Зайцева Дата рождения … Википедия
Пуанкаре, Анри — Анри Пуанкаре Henri Poincaré Дата рождения: 29 апреля 1854(1854 04 29) Место рождения: Нанси … Википедия
История астрономии — История науки … Википедия
Фирдоуси — (правильнее Ф ий , т. е. райский , Абуль Касим Тусский) знаменитейший персидский поэт, родился около 935 г., умер вскоре после 1020 г. Обширные показания о Ф. и о Шахнаме содержатся: а) в двух персидских предисловиях к Шахнаме , из которых одно… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Долгая счастливая жизнь (альбом) — Внимание! Данная страница или раздел содержит ненормативную лексику … Википедия
Матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое… … Википедия
Жирмунский, Виктор Максимович — В Википедии есть статьи о других людях с такой фамилией, см. Жирмунский. Виктор Максимович Жирмунский Дата рождения: 21 июля (2 августа) 1891(1891 08 02) Место рождения: Санкт Петербург Дата смерти … Википедия
Шахнаме — Оформление страницы книги «Шахнаме» … Википедия
Графический матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… … Википедия